THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of

Source URL: ludovicpatey.com

• Automated theorem proving
• Logic programming
• Logic in computer science
• Boolean algebra
• Model theory
• Substitution
• Boolean satisfiability problem
• Interpretation
• Relationships among probability distributions
• Lifting theory

Model reduction using Balanced Proper Orthogonal Decomposition with frequential snapshots G. Dergham, D. Sipp and J.-C. Robinet Abstract Many of the tools of flow control theory require model reduction to correctly capt

Source URL: jch.robinet.pagesperso-orange.fr

Programming Cryptographic Protocols? Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, and Brian T. Sniffen The MITRE Corporation Abstract. Cryptographic protocols are useful for trust engineering in

Source URL: evenmere.org

• Formal languages
• Interpretation
• Philosophy of mind
• Semantics
• Communications protocol
• Model theory
• Digital signature

A Hydrodynamical Geometrization of Matter and Chronometricity in General Relativity Indranu Suhendro∗ Abstract: In this work, we outline a new complementary model of the relativistic theory of an inhomogeneous, anisotr

Source URL: zelmanov.fr

ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic

Source URL: ludovicpatey.com

• Computability theory
• Logic
• Proof theory
• Mathematics
• Mathematical logic
• Reverse mathematics
• Model theory
• Philosophy of mathematics
• Symbol
• Fixed-point theorems
• Primitive recursive functional
• Generalised Whitehead product

THE JOURNAL OF FINANCE • VOL. LVI, NO. 3 • JUNEConsumption, Aggregate Wealth, and Expected Stock Returns MARTIN LETTAU and SYDNEY LUDVIGSON* ABSTRACT

Source URL: faculty.haas.berkeley.edu

• Economics
• Economy
• Economic indicators
• Real business-cycle theory
• Human capital
• Wealth
• Financial economics
• Economic growth
• Economic model

A Hydrodynamical Geometrization of Matter and Chronometricity in General Relativity Indranu Suhendro∗ Abstract: In this work, we outline a new complementary model of the relativistic theory of an inhomogeneous, anisotr

Source URL: zelmanov.org

Taking the RDF Model Theory Out For a Spin Ora Lassila Nokia Research Center? , 5 Wayside Road, Burlington MA 01803, USA Abstract. Entailment, as defined by RDF’s model-theoretical semantics, is a basic requirement for

Source URL: lambda.csail.mit.edu

• Semantic Web
• Computing
• World Wide Web Consortium
• Web standards
• Resource Description Framework
• Knowledge representation
• Web services
• RDF Schema
• Web Ontology Language
• Cwm
• Web resource
• Semantic triple

Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract

Source URL: www-verimag.imag.fr

• Logic
• Mathematics
• Mathematical logic
• Model theory
• Quantification
• Metalogic
• Predicate logic
• Logic in computer science
• Quantifier elimination
• Abstract interpretation
• Quantifier
• FO

Quantilizers: A Safer Alternative to Maximizers for Limited Optimization Jessica Taylor Machine Intelligence Research Institute Abstract

Source URL: intelligence.org

• Utility
• Microeconomics
• Expected utility
• Economy
• Economics
• Game theory
• Consumer theory
• Control theory
• Expected utility hypothesis
• Rational choice theory
• Decision theory
• Two-moment decision model